The back-and-forth isomorphism construction
نویسندگان
چکیده
منابع مشابه
Back and forth bisimulations
This paper is concerned with bisimulation relations which do not only require related agents to simulate each others behavior in the direction of the arrows, but also to simulate each other when going back in history. First it is demonstrated that the back and forth variant of strong bisimulation leads to the same equivalence as the ordinary notion of strong bisimulation. Then it is shown that ...
متن کاملMarch 4, 2010 ISOMORPHISM TYPES OF BOOLEAN ALGEBRAS IN THE BACK-AND-FORTH HIERARCHY
We investigate the back-and-forth types which isomorphism types. The main result is that the indecomposable isomorphism types which arise at the finite levels of the back-and-forth hierarchy are the same the finitary isomorphism types in Heindorff.
متن کاملCounting the back-and-forth types
Given a class of structures K and n ∈ ω, we study the dichotomy between there being countably many n-back-and-forth equivalence classes and there being continuum many. In the latter case we show that, relative to some oracle, every set can be weakly coded in the (n− 1)st jump of some structure in K. In the former case we show that there is a countable set of infinitary Πn relations that capture...
متن کاملThe Back and Forth of Dendritic Plasticity
Synapses are located throughout the often-elaborate dendritic tree of central neurons. Hebbian models of plasticity require temporal association between synaptic input and neuronal output to produce long-term potentiation of excitatory transmission. Recent studies have highlighted how active dendritic spiking mechanisms control this association. Here, we review new work showing that associative...
متن کاملOntologies And Databases: Going Back And Forth
Interoperability of ontologies and databases has received a lot of attention recently. However, most of the work has concentrated on specific problems (such as storing an ontology in a database or making database data available to ontologies) and referred to specific models for each of the two. Here we propose an approach that aims at being more general and model independent. In fact, it works ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1974
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1974.55.521